Compact ultrapseudometrics and inverse systems
نویسندگان
چکیده
A method of construction an inverse system finite compacta, indexed with positive reals, from a compact ultrapseudometric, is proposed. It proved that homeomorphisms and natural preorder on the class ultrapseudometrics correspond to strict isomorphisms morphisms respective systems. Properties poset obtained "gluing together" isomorphic systems, are discussed.
منابع مشابه
Universit a Di Pisa Compact Transition Systems Compact Transition Systems
A major drawback of representing concurrent systems as transition systems is the exponential size of their semantic representations. We present a way of obtaining compact transition systems that are mildly exponential in average. The idea is to have (at least) one computation to represent all the ones only diiering for the temporal ordering in which concurrent transitions occur. We characterise...
متن کاملInverse systems of linear systems
The concept of inverse systems for standard and positive linear systems is introduced. Necessary and sufficient conditions for the existence of the positive inverse system for continuous-time and discrete-time linear systems are established. It is shown that: 1) The inverse system of continuous-time linear system is asymptotically stable if and only if the standard system is asymptotically stab...
متن کاملInverse systems and regular representations
LetG be a finite group acting on a finite-dimensional vector space V , such that the ring of invariants is polynomial. The purpose of this note is to describe exactly the finitely generated inverse systems such that the associated G-representation is the direct sum of copies of the regular representation of G. This generalizes work of Steinberg, Bergeron, Garsia, and Tesler. Related results are...
متن کاملInverse Problems in Imaging Systems and the General Bayesian Inversion Frawework
In this paper, first a great number of inverse problems which arise in instrumentation, in computer imaging systems and in computer vision are presented. Then a common general forward modeling for them is given and the corresponding inversion problem is presented. Then, after showing the inadequacy of the classical analytical and least square methods for these ill posed inverse problems, a Baye...
متن کاملCompact Transition Systems
A major drawback of representing concurrent systems as transition systems is the exponential size of their semantic representations. We present a way of obtaining compact transition systems that are mildly exponential in average. The idea is to have (at least) one computation to represent all the ones only diiering for the temporal ordering in which concurrent transitions occur. We characterise...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Prikarpats?kij vìsnik NTŠ
سال: 2022
ISSN: ['2304-7402']
DOI: https://doi.org/10.31471/2304-7399-2022-17(64)-65-74